More from this Author
Found 4 books by Maurice H. ter Beek (Editor)
From Software Engineering to Formal Methods and Tools, and Back
by Maurice H. ter Beek (Editor), Alessandro Fantechi (Editor), Laura Semini (Editor)
Web Services and Formal Methods
by Maurice H. ter Beek (Editor), Niels Lohmann (Editor)
Web Services and Formal Methods
by Maurice H. ter Beek (Editor), Niels Lohmann (Editor)
Architecting Dependable Systems VI
by Rogério de Lemos (Editor), Jean-Charles Fabre (Editor), Cristina Gacek (Editor), Fabio Gadducci (Editor), Maurice H. ter Beek (Editor)